\input basic
\font @←cmathx \font a←cmr10 \font b←cmr9 \font c←cmr8
\font d←cmr7   \font e←cmr6  \font f←cmr5 \font g←cmi10
\font h←cmi9   \font i←cmi8  \font j←cmi7 \font k←cmi6
\font l←cmi5   \font m←cmsc10 \font n←cms10 \font o←cms9
\font p←cms8  \font q←cmb10 \font r←cmb9 \font s←cmb8
\font t←cmtt   \font u←cmsy10 \font v←cmsy9 \font w←cmsy8
\font x←cmsy7  \font y←cmsy6 \font z←cmsy5 \font ;←cmtitl
\font <←cmssb  \font =←cmss12 \font >←cmss8 \font ←←cmsss8
\font T←cmtt9  \font U←cmtt8
\varunit 14pt % space between lines
\baselineskip 1vu
\botskip3pt plus6pt
\chcode'272←'3072   % make : a relation
\chcode'27←13 \def↔{\penalty999\ } % make ↔ tie two words together
\def\sub{\mathrel{\char'432}} % subset without underline
\def\sup{\mathrel{\char'433}} % supset without underline
\def\xch{\mathrel{\char'444}} % to get ↔ in a formula
\def\sim{\mathrel{\char'430}} % twiddle
\mathsurround .5pt
\def\xskip{\hskip .7em plus .3em minus .4em}
\def\yskip{\vskip .8vu plus .2vu minus .3vu}
\def\yyskip{\penalty-100\vskip 1.6vu plus .4vu minus .6vu}
\def\adx#1:#2\par{\par\halign{\hskip#1##\hfill\cr #2}\par}
\def\\#1{\hbox{\sl#1\/}}
\def\.#1{\hbox{\bf#1}}
\def\thbegin #1. #2\par{\yskip\noindent{\bf#1.}\xskip{\sl#2}\par\yskip}
\def\proofbegin #1. {{\sl#1.}\xskip}
\def\naive{na\"\i ve}
\def\phybox
 {\hbox{       
 \vbox{
 \def\|{\vrule height 4pt depth 2pt}
 \hrule
 \hbox to 2pt{\|\hfill\|}
 \hrule
 }}\hskip 3pt}
\def\odbox
 {\hbox{
 \vbox{
 \def\|{\vrule height 4pt depth 2pt}
 \hrule
 \hbox to 3pt{\|\hfill\|}
 \hrule
 }}\hskip 3pt}
\def\phya{\hskip 1pt\phybox}
\def\odboxa{\hskip 4pt\odbox}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\!#3 \par}
\def\disleft#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{#2 \hfill \hskip .1em}\!#3 \par}
\def\figbox#1:{\vbox{\null\vskip#1\null}} % cut and paste space
\def\pfbox
 {\hbox{\vbox{
 \def\|{\vrule height 2pt depth 2pt}
 \hrule
 \hbox to 4pt{\|\hfill\|}
 \hrule
 }}\hskip 3pt}
\def\fig#1{$$\hbox{[Figure #1]}$$}
\def\table#1{$$\hbox{[Table #1]}$$}
\def\fi{{\bf f{}i}}
\def\O{\hbox{\rm O}}
{\font c←cmr8 } % to be able to say j-th 
\def\TEX{\hbox{\:aT\hskip-.1667em\lower.424ex\hbox{E}\hskip-.125em X}}
\def\textindent#1{\noindent\hbox to 19pt {\hskip 0pt plus 1000pt minus 1000pt#1\
 }\!}
\def\hang{\hangindent 19pt}
\def\algstep #1. [#2]{\par\yskip \hang
	\textindent{\bf#1.}[#2]\xskip\!}
\def\algbegin#1(#2). {\yyskip\noindent{\bf #1}({\sl#2\/}){\bf.}\skip}
\def\blackslug{\hbox to 0pt {\hskip 1pt \vrule width 4pt height 6pt depth 1.5pt
 \hskip 1pt}}
\def\modulo#1{\penalty0\;(\char m\char o\char d\char u\char l\char o\,\,#1)}
\def\ninepoint{\baselineskip 11pt \dispskip 11pt plus 3pt minus 8pt
 \dispaskip 0pt plus 3pt \dispbskip 6pt plus 3pt minus 3pt
 \def\rm{\:b} \def\sl{\:o} \def\bf{\:r} \def\it{\:h} \def\tt{\:T}
 \def\biglp{\mathopen{\hbox{\:a(}}}
 \def\bigrp{\mathclose{\hbox{\:a)}}}
 \mathrm bef \mathit hkl \mathsy vyz \rm}
\def\eightpoint{\baselineskip9.5pt
 \dispskip9pt plus3pt minus7pt
 \dispaskip0pt plus3pt \dispbskip5pt plus3pt minus2pt
 \def\rm{\:c} \def\sl{\:p} \def\bf{\:s} \def\it{\:i}
 \def\biglp{\mathopen{\hbox{\:a(}}}
 \def\bigrp{\mathclose{\hbox{\:a)}}}
 \mathrm cef \mathit ikl \mathsy wyz \rm}
\def\footnote#1#2{#1\botinsert{\hrule width5pc \vskip3pt
 \baselineskip10.5pt\hbox par size{\ninepoint#1#2}}}
\def\t{\hbox{\hskip .4in}}
\def\c{ \hskip 0pt plus 1000pt \linebreak}
\def\undertext#1{$\underline{\hbox{#1}}$}
\def\outlineone#1:{\par\hangindent 19pt\noindent
  \hbox to 19 pt{#1\hfill}\!}
\def\outlinetwo#1:{\par\hangindent 38pt\noindent
  \hbox to 38 pt{\hbox to 19pt{\hfill}#1\hfill}\!}
\def\outlinethree#1:{\par\hangindent 57pt\noindent
  \hbox to 57 pt{\hbox to 38pt{\hfill}#1\hfill}\!}

\def\nopagenumber{\output{\baselineskip20pt\page}}